program correctness proof
[計(jì)] 程序正確性證明
熱門查詢
- putt n. 輕輕一擊 n. (Putt)人名；(英)帕特 vt. 擊球入洞 vi. 輕擊高爾夫球
- iconoclasm n. 打破舊習(xí)；破壞偶像；破壞偶像主義
- Val n. 十萬(wàn)牛頓每平米（英國(guó)壓力單位）
- Cassie n. [林] 金合歡；包損紙
- n't adv. 不（等于not）
- impress n. 印象，印記；特征，痕跡 vi. 給人印象 vt. 蓋印；強(qiáng)征；傳送；給予某人深刻印象
- vestige n. 遺跡；殘余；退化的器官
- vascular adj. [生物] 血管的
- lugubrious adj. 悲哀的，悲慘的
- ineligibility n. 不合宜；不適任；無(wú)被選資格
- renationalise vt. [主英國(guó)英語(yǔ)] = renationalize
- eliza n. 伊萊扎（女子名） [女子名] 伊萊扎 Elizabeth的昵稱
- neatnik n. <美俚>愛整潔的人[仿beatnik]
- Loudon [人名] [英格蘭人姓氏] 勞登 Lowden的變體
- off prep. 離開；脫落 adv. 切斷；走開 adj. 遠(yuǎn)離的；空閑的
- aline n. (Aline)人名；(英)艾琳；(法)阿林，阿琳(女名) vt. 排列；排成直線 vi. 排列；排成直線
- statehouse n. 州議會(huì)的議場(chǎng)；州議會(huì)大廈
- subtropics n. [地理] 亞熱帶
- mooney 穆尼（姓氏）
- cyril n. 西里爾（男子名）
